// throws introspection error

var x = __abstract("number");
var y = x.toLocaleString();
if (y) {
}
